High-Level-Synthesis by Constraint Logic Programming
نویسنده
چکیده
Integer programming has become popular to synthesis since it allows to compute optimal solutions by efficient formal methods. The drawback of this approach to synthesis is its resticted mathematical model. We adopted the basic idea of handling the synthesis problem as a constraint satisfaction problem and focus on solving it by constraint search. We use constraint logic programming, which is more flexible with repect to the representation of constrains.
منابع مشابه
Digital Systems Design Using Constraint Logic Programming
This paper presents an application of finite domain constraint logic programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, ...
متن کاملA Constraint Logic Programming Based Approach to High-Level Synthesis for Low Power
This paper presents high-level synthesis problems and solutions specific for low power synthesis. It includes ideas of how to minimize the power consumption by switched capacitance reduction during operation scheduling and resource binding. This process uses switching activity data obtained from simulation of the design at the register transfer level. The novelty of this approach is the use of ...
متن کاملA register allocation problem solved by constraint logic programming and interval arithmetic
This paper addresses the memory allocation problem in data path synthesis. It shows that constraint logic programming (CLP) extended by interval arithmetic is an efficient paradigm to solve hard practical problems in the area of digital circuit design. Case studies, much more complex than the existing high level synthesis benchmarks, have been solved in less than 3 minutes.
متن کاملApplication of Constraint Programming to Digital Systems Design
This paper presents an application of finite domain constraint programming methods to digital system synthesis problems. The modeling methods address basic synthesis problems of high-level synthesis and system-level synthesis. Based on the presented models, the synthesis algorithms are then defined. These algorithms aim to optimize digital systems with respect to cost, power consumption, and ex...
متن کاملSynthesis of Conditional Behaviors Using Hierarchical Conditional Dependency Graphs and Constraint Logic Programming
This paper presents a new high-level synthesis (HLS) approach which addresses the problem of synthesis of conditional behaviors. In proposed methodology, the conditional behaviors are represented by Hierarchical Conditional Dependency Graphs (HCDG) and synthesized using derived Constraints Logic Programming (CLP) models. Our synthesis methods exploit multicycle operations and chaining as well a...
متن کامل